Code Generation for Higher Inductive Types

Higher inductive types are inductive types that include nontrivial higher-dimensional structure, represented as identifications that are not reflexivity. While work proceeds on type theories with a computational interpretation of univalence and higher inductive types, it is convenient to encode these structures in more traditional type theories with mature implementations. However, these encodings involve a great deal of error-prone additional syntax. We present a library that uses Agda's metaprogramming facilities to automate this process, allowing higher inductive types to be specified with minimal additional syntax.Comment: 16 pages, Accepted for presentation in WFLP 201

Intestinal Obstruction Syndromes in Cystic Fibrosis: Meconium Ileus, Distal Intestinal Obstruction Syndrome, and Constipation

Meconium ileus at birth, distal intestinal obstruction syndrome (DIOS), and constipation are an interrelated group of intestinal obstruction syndromes with a variable severity of obstruction that occurs in cystic fibrosis patients. Long-term follow-up studies show that today meconium ileus is not a risk factor for impaired nutritional status, pulmonary function, or survival. DIOS and constipation are frequently seen in cystic fibrosis patients, especially later in life; genetic, dietary, and other associations have been explored. Diagnosis of DIOS is based on suggestive symptoms, with a right lower quadrant mass confirmed on abdominal radiography, whereas symptoms of constipation are milder and of longer standing. In DIOS, early aggressive laxative treatment with oral laxatives (polyethylene glycol) or intestinal lavage with balanced osmotic electrolyte solution and rehydration is required, which now makes the need for surgical interventions rare. Constipation can generally be well controlled with polyethylene glycol maintenance treatment

DATA AND INFORMATION MANAGEMENT: ESSENTIAL BASIS FOR SUSTAINABLE URBAN MANAGEMENT AND DEVELOPMENT

Management of the urban environment and urban development require well organized data and information as a basis for decision making, planning and policy development. Such data and information needs to be up-to-date, reliable and complete, and moreover be available at the time of need. The latter is especially relevant in the case of disasters such as fires, flooding, earthquakes and volcanic eruptions. Current and future impacts of the on-going climate changes increase the need for geo-referenced data and information on environment, biodiversity and public health, in support of preparation, protection, mitigation and reconstruction. It is important that urban authorities devote more attention and resources to data and information management in order to be able to cope with the present and future challenges of ever growing cities with increasing impacts on their surroundings, and moreover to deal with the impacts of environment and biodiversity on the cities, their population and economies. SOD, Woerden has a long and successful track record of certified training and education in the field of data and information management for authorities, including urban government. The courses provided by SOD cover a wide range of subjects from metadata and digitizing, to enterprise content management and geo-information management. While focused on the Netherlands, SOD also has initiated similar training opportunities in Belgium and Surinam, and efforts are under way in other countries. P. Geerders Consultancy has considerable experience as a consultant and trainer in the field of methods and technologies for the provision of information in support of decision-making, planning and policy development related to integrated management and sustainable development of natural resources. Besides in various countries of Europe, he has worked in Latin America and the Caribbean region. Since several years, P. Geerders works as a freelance teacher with SOD. The paper presents a vision on training and education of urban authorities in information handling and management